Distributed Applications Implemented in Maude with Parameterized Skeletons
نویسندگان
چکیده
Algorithmic skeletons are a well-known approach for implementing parallel and distributed applications. Declarative versions typically use higher-order functions in functional languages. We show here a different approach based on object-oriented parameterized modules in Maude, that receive the operations needed to solve a concrete problem as a parameter. Architectures are conceived separately from the skeletons that are executed on top of them. The object-oriented methodology followed facilitates nesting of skeletons and the combination of architectures. Maude analysis tools allow to check at different abstraction levels properties of the applications built by instantiating a skeleton.
منابع مشابه
The transformational derivation of parallel programs using data distribution algebras and skeletons
The transformational derivation of parallel programs for distributed-memory architectures using skeleton-based approaches is one of the most promising methods for parallel program development. These approaches support the derivation of provably correct, eecient and portable parallel programs using a predeened set of encapsulated eeciently implemented parallel base algorithms. Encapsulation requ...
متن کاملDesigning Distributed Computational Skeletons in D-Clean and D-Box
Functional programming has inherent parallel features. This situation can be exploited by building different language constructs for parallel and distributed programming. Earlier we designed two languages for skeleton based distributed functional programming on a cluster. The two languages have different expressive power and abstraction levels. Our distributed functional computation is based on...
متن کاملEecient Parallel Programming with Algorithmic Skeletons
Algorithmic skeletons are polymorphic higher-order functions representing common parallelization patterns and implemented in parallel. They can be used as the building blocks of parallel and distributed applications by integrating them into a sequential language. In this paper, we present a new approach to programming with skeletons. We integrate the skeletons into an imperative host language e...
متن کاملConstructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages
For reuse in concurrent object-oriented languages we present a set of reuse constructs. We give criteria for relations between classes that can be implemented by those reuse constructs, characterize the properties inherited via the constructs and explore that we have not only constructs but concepts for reuse. We demonstrate the concepts and constructs with the object-oriented concurrent langua...
متن کاملAlgorithmic Skeletons in an Imperative Language for Distributed Programming
Algorithmic skeletons are functions representing common parallelization patterns and implemented in parallel. They can be used as the building blocks of parallel and distributed applications by integrating them into a sequential language. In this paper, we present a new approach to programming with skeletons. We integrate the skeletons into an imperative host language, which leads to important ...
متن کامل